graph theory:spanning forest